#topbar{
    position: absolute;
	float:top;
	top:0;
	/* left: 6%; */
	width:100%;
	height:12.2%;
	background: #1874CD;
	text-align:center;
	/* margin:0 auto; */
	/* align-items: center; */
}
#topbar .tab{
	position: relative;
	background: white;
	top:74.5%;
	width: 100%;
	height:25%;
	color:black;
}


#topbar .fileinput-button {

	float: left;
	position: relative;
	color: white;
	width: 150px;
}

#topbar .fileinput-button input{
	position: absolute;
    font-size: 100px;
    right: 0;
    top: 0;
    opacity: 0;
    filter: alpha(opacity=0);
    cursor: pointer
}

#topbar .fileinput-button:hover{
	color: #444;
    background: #eee;
    border-color: #ccc;
    text-decoration: none
}


#topbar .topbarMenu {
    cursor: pointer;  
}

#topbar .cannotTopbarMenu{
	cursor: not-allowed;
}

#topbar nav{
	position: relative;
	float:left;
	position: absolute;
	top:30%; 
	left:6%;
	margin:0 auto;
}
#topbar img{
	position: relative;
	top:5%;
	left: 0.2%;
	float:left;
	width: 5.5%;
}
#topbar ul{
    padding: 0;
	margin: 0;
	height: 30px;
    list-style-type: none;
}
#topbar ul li{
    float: left;
	position: relative;
	color: white;
	width: 150px;
}

#topbar ul li:hover{
	color: #444;
    background: #eee;
    border-color: #ccc;
	text-decoration: none;
}

#topbar #z3Result{
	float: left;
	position: relative;
	color: red;
	width: 150px;
	font-size: large;
}

#drawingboard{
    background:white;
	position: absolute;
	top:9.1%;
	left:0;
	width:83%;
	height:90.9%;
	float: center;
}
#drawingboard ul,li{
	margin:0px;
	padding:0px;
}
#drawingboard .tab{
	position: relative;
	top:0%;
	left:0;
	width:100%;
	height:3.4%;
	background:white;
}
#drawingboard ul li{
	position: relative;
	min-width: 3%;
	height: 28px;
	text-align:center;
	list-style-type:none;
	float:left;
	display: block;
	
	padding: 4px 10px;
    height: 20px;
    line-height: 20px;
    position: relative;
    cursor: pointer;
    color: #888;
    background: #fafafa;
    border: 1px solid #ddd;
    border-radius: 4px;
    overflow: hidden;
}


#drawingboard details{
	position: relative;
	width: 23.7%;
	float:left;
	text-align:left;
	display: block;
	line-height: 20px;
	/* padding: 4px 10px; */
	padding: 4px;
	/* 上右下左 */
	margin:0% 0% 0% 0.2%;
	list-style-type:none;
	cursor: pointer;
	/* color: black; */
	color: white;
	/* background: #fafafa; */
	background: #7EC0EE;
	border: 1px solid #ddd;
	border-radius: 4px;
	overflow: hidden;
	z-index: 1;
   }
#drawingboard summary{
	text-align: center;
   }
#drawingboard summary:hover{
	opacity: 0.5; 
	display: block;
	cursor: pointer;
   }
#drawingboard p:hover{
	opacity: 0.5; 
	display: block;
	cursor: pointer;
}

#drawingboard .details ::-webkit-details-marker {
    display: none;
}

#drawingboard .details ::-moz-list-bullet {
    font-size: 0;
}

#drawingboard #content1{
	position: absolute;
	top:4.8%;
	left:0;
	width:100%;
	height:100%;
	float:left;
	display:block;
}

#rightbar{
	position: absolute;
	top:12.2%;
	right: 0;
	/* left:93%; */
	width:17%;
	height:87.8%;
	background: #1874CD;
	float:right;
	/* overflow-y:auto; 
	overflow-x:auto; */
	white-space: nowrap;
	color:white;
	overflow-x:auto;
    overflow-y:auto;
}
#rightbar button{
	position: relative;
	margin:0% 5% 8% 5%;/*ÉĎÓŇĎÂ×ó*/
	
	display: inline-flex;
	align-items: center;
	padding: 8px 16px;
	border-radius: 2px;
	font-size: 14px;
	cursor: pointer;
	background-color: GhostWhite;
	border: none;
}
#rightbar button:hover {
	background-color:lavender;
  	/* opacity: 0.8; */
  	font-weight: normal;
}

#rightbar button:disabled {
  	/* opacity: 0.5; */
  	cursor: auto;
}
#rightbar span { 
	position:relative; 
	/* right:10px;  */
	/* top:8px;  */
	cursor: pointer; 
	width: 100%;
	background: #36648B;
}
#rightbar ul{
    padding: 0;
	margin: 0;
    list-style-type: none;
}
#rightbar ul li ul li ul li{
	position:relative; 
	left:11%;
}
#rightbar .title{
	position:relative; 
	width:100%;
	background: #36648B;
	margin-bottom:1px;
	cursor: pointer;
}
#rightbar .content{
	position:relative; 
	/* width:100%; */
	background:#1874CD;
	cursor: default;
	overflow-x:auto;
	overflow-y:auto;
}

#rightbar .DeleteButton{
    text-align: center;
    padding: 4px 10px;
}

#z3check{
	background:white;
	position: absolute;
	top:43%;
	left:43%;
	width:20%;
	height:20%;
	float: center;
	z-index: 3;
	display: none;
}

#addConstraint{
	background:white;
	position: absolute;
	top:43%;
	left:43%;
	width:20%;
	height:20%;
	float: center;
	display: none;
	z-index: 3;
}
#addConstraint .ExtraInput{
	width: 60px;
	box-sizing:border-box;
	padding: 5px;
}
